Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses

Un protocole auto-stabilisant est par nature tolérant aux fautes transitoires (i.e. de durée finie). Ces dernières années ont vu apparaı̂tre une nouvelle classe de protocoles qui, en plus d’être auto-stabilisants, tolèrent un nombre limité de fautes permanentes. Dans cet article, nous nous intéressons aux protocoles auto-stabilisants tolérant des fautes permanentes très sévères : les fautes byzantines. Nous montrons que, pour certains problèmes n’admettant pas de solution strictement stabilisante ([NA02]), il existe toutefois des solutions tolérant des fautes byzantines si nous définissons un critère de tolérance moins contraignant.